Neighbourhood semantics for graded modal logic
نویسندگان
چکیده
We introduce a class of neighbourhood frames for graded modal logic using an operation from Kripke to frames. This is shown be first-order definable but not modally definable. also obtain new definition bisimulation by modifying the monotonic bisimulation.
منابع مشابه
Possibility Based Modal Semantics for Graded Modifiers
A brief introduction to basic modifiers is given. Any modifier with its dual and the corresponding negation form a DeMorgan triple similar to that of t-norms, t-conorms, and negation. The lattice structure of the unit interval with the usual partial order is similar to that of the set of all membership functions. This structure has a certain connection to implication, by means of the subsethood...
متن کاملA PSpace Algorithm for Graded Modal Logic
We present a PSpace algorithm that decides satisfiability of the graded modal logic Gr(KR)—a natural extension of propositional modal logic KR by counting expressions—which plays an important role in the area of knowledge representation. The algorithm employs a tableaux approach and is the first known algorithm which meets the lower bound for the complexity of the problem. Thus, we exactly fix ...
متن کاملA General Semantics for Quantified Modal Logic
In [9] we developed a semantics for quantified relevant logic that uses general frames. In this paper, we adapt that model theory to treat quantified modal logics, giving a complete semantics to the quantified extensions, both with and without the Barcan formula, of every propositional modal logic S. If S is canonical our models are based on propositional frames that validate S. We employ frame...
متن کاملTopos Semantics for Higher-Order Modal Logic
We define the notion of a model of higher-order modal logic in an arbitrary elementary topos E . In contrast to the wellknown interpretation of (non-modal) higher-order logic, the type of propositions is not interpreted by the subobject classifier ΩE , but rather by a suitable complete Heyting algebra H . The canonical map relating H and ΩE both serves to interpret equality and provides a modal...
متن کاملA New Semantics for Positive Modal Logic
The paper provides a new semantics for positive modal logic using Kripke frames having a quasi ordering ≤ on the set of possible worlds and an accessibility relation R connected to the quasi ordering by the conditions (1) that the composition of ≤ with R is included in the composition of R with ≤ and (2) the analogous for the inverse of ≤ and R. This semantics has an advantage over the one used...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Section of Logic
سال: 2021
ISSN: ['2449-836X', '0138-0680']
DOI: https://doi.org/10.18778/0138-0680.2021.12